Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | A | F | A | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 212 | 212 | 156 | 377 | 0 | 545 | 0 | 275 | 0 |
N.S. |
1 | 1.00 | 0.74 | 1.78 | 0.00 | 2.57 | 0.00 | 1.30 | 0.00 |
time (sec) |
N/A | 0.793 | 2.684 | 0.833 | 0.000 | 0.309 | 0.000 | 1.545 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | A | F | A | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 142 | 306 | 0 | 464 | 0 | 256 | 0 |
N.S. |
1 | 1.00 | 0.86 | 1.85 | 0.00 | 2.81 | 0.00 | 1.55 | 0.00 |
time (sec) |
N/A | 0.555 | 1.585 | 0.786 | 0.000 | 0.297 | 0.000 | 1.431 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | A | F | A | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 130 | 130 | 177 | 335 | 0 | 479 | 0 | 169 | 0 |
N.S. |
1 | 1.00 | 1.36 | 2.58 | 0.00 | 3.68 | 0.00 | 1.30 | 0.00 |
time (sec) |
N/A | 0.318 | 4.035 | 0.777 | 0.000 | 0.288 | 0.000 | 1.486 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 162 | 162 | 153 | 376 | 0 | 670 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 2.32 | 0.00 | 4.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.336 | 3.697 | 0.638 | 0.000 | 3.611 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | A | F | B | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 219 | 727 | 0 | 692 | 0 | 457 | 0 |
N.S. |
1 | 1.00 | 1.10 | 3.65 | 0.00 | 3.48 | 0.00 | 2.30 | 0.00 |
time (sec) |
N/A | 0.674 | 3.169 | 1.072 | 0.000 | 3.562 | 0.000 | 1.587 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | A | F | B | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 262 | 262 | 254 | 1386 | 0 | 763 | 0 | 551 | 0 |
N.S. |
1 | 1.00 | 0.97 | 5.29 | 0.00 | 2.91 | 0.00 | 2.10 | 0.00 |
time (sec) |
N/A | 1.009 | 6.116 | 0.905 | 0.000 | 6.222 | 0.000 | 2.289 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 205 | 205 | 409 | 811 | 0 | 243 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.00 | 3.96 | 0.00 | 1.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.267 | 6.002 | 3.669 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 172 | 286 | 702 | 0 | 221 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.66 | 4.08 | 0.00 | 1.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.239 | 2.757 | 2.674 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 135 | 168 | 410 | 0 | 190 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.24 | 3.04 | 0.00 | 1.41 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.217 | 2.817 | 2.354 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 135 | 169 | 288 | 0 | 158 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.25 | 2.13 | 0.00 | 1.17 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.236 | 1.349 | 2.455 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 141 | 141 | 169 | 345 | 0 | 171 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.20 | 2.45 | 0.00 | 1.21 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.234 | 5.299 | 4.247 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 174 | 174 | 188 | 378 | 0 | 193 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.08 | 2.17 | 0.00 | 1.11 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.259 | 3.605 | 5.615 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 205 | 205 | 204 | 406 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.00 | 1.98 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.272 | 5.419 | 7.408 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 270 | 270 | 821 | 1141 | 0 | 279 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.04 | 4.23 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.531 | 8.396 | 4.934 | 0.000 | 0.109 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 237 | 436 | 892 | 0 | 259 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.84 | 3.76 | 0.00 | 1.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.481 | 8.988 | 3.760 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 330 | 756 | 0 | 223 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.68 | 3.86 | 0.00 | 1.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.430 | 7.983 | 3.079 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 198 | 198 | 191 | 651 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.96 | 3.29 | 0.00 | 1.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.446 | 5.370 | 2.929 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 209 | 268 | 0 | 177 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.07 | 1.37 | 0.00 | 0.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.451 | 5.351 | 3.241 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 204 | 204 | 189 | 380 | 0 | 207 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.93 | 1.86 | 0.00 | 1.01 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.498 | 4.653 | 5.725 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 237 | 206 | 408 | 0 | 227 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.87 | 1.72 | 0.00 | 0.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.530 | 6.319 | 7.672 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 270 | 270 | 228 | 436 | 0 | 247 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 1.61 | 0.00 | 0.91 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.579 | 6.549 | 9.426 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 319 | 319 | 863 | 1382 | 0 | 299 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.71 | 4.33 | 0.00 | 0.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.768 | 12.426 | 6.339 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 286 | 286 | 818 | 1220 | 0 | 279 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.86 | 4.27 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.869 | 8.819 | 5.232 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 280 | 987 | 0 | 259 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.11 | 3.90 | 0.00 | 1.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.867 | 6.039 | 4.305 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 259 | 259 | 255 | 939 | 0 | 253 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.98 | 3.63 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.651 | 5.502 | 3.779 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 221 | 704 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.87 | 2.78 | 0.00 | 0.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.651 | 5.558 | 3.921 | 0.000 | 0.118 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 218 | 360 | 0 | 213 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.86 | 1.42 | 0.00 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.636 | 4.316 | 4.930 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 206 | 408 | 0 | 227 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.81 | 1.61 | 0.00 | 0.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.639 | 4.568 | 7.824 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 286 | 286 | 228 | 436 | 0 | 247 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.80 | 1.52 | 0.00 | 0.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.727 | 6.588 | 9.729 | 0.000 | 0.124 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 319 | 319 | 250 | 464 | 0 | 267 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.78 | 1.45 | 0.00 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.753 | 7.698 | 12.256 | 0.000 | 0.126 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 232 | 232 | 342 | 776 | 0 | 333 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.47 | 3.34 | 0.00 | 1.44 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.299 | 6.078 | 24.837 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 190 | 190 | 324 | 459 | 0 | 302 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.71 | 2.42 | 0.00 | 1.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.245 | 7.422 | 2.114 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 152 | 152 | 776 | 316 | 0 | 248 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 5.11 | 2.08 | 0.00 | 1.63 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.223 | 8.483 | 1.608 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 124 | 124 | 795 | 245 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 6.41 | 1.98 | 0.00 | 1.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.199 | 7.338 | 1.865 | 0.000 | 0.095 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 162 | 162 | 232 | 262 | 0 | 260 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.43 | 1.62 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.223 | 4.769 | 2.849 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 248 | 277 | 0 | 274 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.25 | 1.39 | 0.00 | 1.38 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.268 | 6.854 | 3.359 | 0.000 | 0.117 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 229 | 229 | 884 | 711 | 0 | 417 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.86 | 3.10 | 0.00 | 1.82 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.421 | 9.707 | 22.311 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 191 | 293 | 450 | 0 | 327 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.53 | 2.36 | 0.00 | 1.71 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.387 | 5.220 | 1.919 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 859 | 423 | 0 | 363 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 5.21 | 2.56 | 0.00 | 2.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.355 | 7.498 | 2.025 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 170 | 170 | 298 | 352 | 0 | 326 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.75 | 2.07 | 0.00 | 1.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.368 | 5.403 | 3.023 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 201 | 201 | 912 | 437 | 0 | 375 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.54 | 2.17 | 0.00 | 1.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.421 | 8.895 | 3.244 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 236 | 236 | 301 | 451 | 0 | 387 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.28 | 1.91 | 0.00 | 1.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.443 | 6.677 | 3.577 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 282 | 282 | 984 | 876 | 0 | 532 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.49 | 3.11 | 0.00 | 1.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.654 | 8.996 | 74.800 | 0.000 | 0.119 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 249 | 479 | 679 | 0 | 475 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.92 | 2.73 | 0.00 | 1.91 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.649 | 7.485 | 74.539 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 220 | 952 | 451 | 0 | 474 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.33 | 2.05 | 0.00 | 2.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.557 | 8.137 | 3.198 | 0.000 | 0.125 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 222 | 954 | 451 | 0 | 476 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.30 | 2.03 | 0.00 | 2.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.563 | 10.280 | 3.316 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 226 | 226 | 975 | 451 | 0 | 478 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.31 | 2.00 | 0.00 | 2.12 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.573 | 11.319 | 3.469 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-2) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 249 | 249 | 1008 | 465 | 0 | 487 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.05 | 1.87 | 0.00 | 1.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.594 | 10.022 | 3.694 | 0.000 | 0.136 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 290 | 290 | 1052 | 479 | 0 | 500 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.63 | 1.65 | 0.00 | 1.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.640 | 11.094 | 3.977 | 0.000 | 0.130 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 214 | 214 | 183 | 429 | 4417 | 470 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.86 | 2.00 | 20.64 | 2.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.556 | 1.449 | 1.138 | 0.808 | 0.384 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 169 | 169 | 150 | 367 | 2740 | 436 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.89 | 2.17 | 16.21 | 2.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.489 | 1.134 | 1.048 | 0.631 | 0.332 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 124 | 124 | 125 | 301 | 1507 | 392 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.01 | 2.43 | 12.15 | 3.16 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.359 | 0.945 | 0.967 | 0.544 | 0.336 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 115 | 115 | 90 | 225 | 684 | 328 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.78 | 1.96 | 5.95 | 2.85 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.362 | 2.268 | 1.069 | 0.492 | 0.326 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 116 | 116 | 97 | 195 | 355 | 348 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 1.68 | 3.06 | 3.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.344 | 0.860 | 1.069 | 0.499 | 0.294 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 122 | 122 | 68 | 69 | 224 | 86 | 0 | 0 | 94 |
N.S. |
1 | 1.00 | 0.56 | 0.57 | 1.84 | 0.70 | 0.00 | 0.00 | 0.77 |
time (sec) |
N/A | 0.395 | 1.943 | 0.868 | 0.465 | 0.256 | 0.000 | 0.000 | 17.910 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 168 | 168 | 83 | 89 | 408 | 103 | 0 | 0 | 118 |
N.S. |
1 | 1.00 | 0.49 | 0.53 | 2.43 | 0.61 | 0.00 | 0.00 | 0.70 |
time (sec) |
N/A | 0.499 | 0.771 | 0.888 | 0.488 | 0.282 | 0.000 | 0.000 | 17.725 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 100 | 111 | 587 | 121 | 0 | 0 | 142 |
N.S. |
1 | 1.00 | 0.47 | 0.52 | 2.76 | 0.57 | 0.00 | 0.00 | 0.67 |
time (sec) |
N/A | 0.608 | 0.969 | 0.907 | 0.502 | 0.269 | 0.000 | 0.000 | 18.670 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 265 | 265 | 435 | 510 | 7235 | 518 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.64 | 1.92 | 27.30 | 1.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.835 | 7.021 | 1.268 | 1.243 | 0.403 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 218 | 183 | 448 | 5761 | 478 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 2.06 | 26.43 | 2.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.725 | 1.512 | 1.232 | 0.866 | 0.399 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 171 | 171 | 177 | 386 | 3506 | 446 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.04 | 2.26 | 20.50 | 2.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.613 | 1.243 | 1.175 | 0.652 | 0.342 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 171 | 171 | 117 | 367 | 2520 | 424 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.68 | 2.15 | 14.74 | 2.48 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.614 | 1.525 | 1.198 | 0.585 | 0.334 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 169 | 169 | 120 | 228 | 1183 | 368 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.71 | 1.35 | 7.00 | 2.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.597 | 1.407 | 1.188 | 0.489 | 0.293 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 163 | 163 | 117 | 227 | 485 | 392 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.72 | 1.39 | 2.98 | 2.40 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.586 | 5.029 | 1.116 | 0.532 | 0.294 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 169 | 169 | 85 | 88 | 342 | 106 | 0 | 0 | 119 |
N.S. |
1 | 1.00 | 0.50 | 0.52 | 2.02 | 0.63 | 0.00 | 0.00 | 0.70 |
time (sec) |
N/A | 0.520 | 1.745 | 0.949 | 0.461 | 0.267 | 0.000 | 0.000 | 17.673 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 219 | 219 | 102 | 112 | 607 | 125 | 0 | 0 | 143 |
N.S. |
1 | 1.00 | 0.47 | 0.51 | 2.77 | 0.57 | 0.00 | 0.00 | 0.65 |
time (sec) |
N/A | 0.779 | 1.430 | 1.015 | 0.494 | 0.264 | 0.000 | 0.000 | 18.902 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 266 | 266 | 119 | 134 | 794 | 144 | 0 | 0 | 374 |
N.S. |
1 | 1.00 | 0.45 | 0.50 | 2.98 | 0.54 | 0.00 | 0.00 | 1.41 |
time (sec) |
N/A | 0.860 | 1.661 | 1.047 | 0.554 | 0.256 | 0.000 | 0.000 | 22.817 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 312 | 312 | 505 | 538 | 11081 | 586 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.62 | 1.72 | 35.52 | 1.88 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.079 | 6.823 | 0.537 | 2.309 | 0.399 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 265 | 265 | 439 | 476 | 8852 | 546 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.66 | 1.80 | 33.40 | 2.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.958 | 7.533 | 1.242 | 1.341 | 0.402 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 218 | 231 | 410 | 6687 | 506 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.06 | 1.88 | 30.67 | 2.32 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.865 | 1.479 | 1.236 | 3.674 | 0.404 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 218 | 218 | 134 | 532 | 14964 | 494 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.61 | 2.44 | 68.64 | 2.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.786 | 1.967 | 1.215 | 0.778 | 0.329 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 224 | 224 | 165 | 500 | 3421 | 474 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 2.23 | 15.27 | 2.12 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.812 | 3.004 | 1.156 | 3.498 | 0.323 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 210 | 210 | 120 | 369 | 11556 | 428 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.57 | 1.76 | 55.03 | 2.04 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.847 | 6.982 | 1.244 | 0.629 | 0.297 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 210 | 210 | 133 | 370 | 917 | 454 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.63 | 1.76 | 4.37 | 2.16 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.786 | 7.604 | 1.240 | 0.522 | 0.301 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 216 | 216 | 102 | 114 | 483 | 135 | 0 | 0 | 145 |
N.S. |
1 | 1.00 | 0.47 | 0.53 | 2.24 | 0.62 | 0.00 | 0.00 | 0.67 |
time (sec) |
N/A | 0.610 | 2.264 | 0.998 | 0.509 | 0.256 | 0.000 | 0.000 | 18.350 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 266 | 266 | 119 | 136 | 845 | 154 | 0 | 0 | 386 |
N.S. |
1 | 1.00 | 0.45 | 0.51 | 3.18 | 0.58 | 0.00 | 0.00 | 1.45 |
time (sec) |
N/A | 0.962 | 3.576 | 1.034 | 0.502 | 0.261 | 0.000 | 0.000 | 22.894 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 313 | 313 | 138 | 158 | 1043 | 176 | 0 | 0 | 437 |
N.S. |
1 | 1.00 | 0.44 | 0.50 | 3.33 | 0.56 | 0.00 | 0.00 | 1.40 |
time (sec) |
N/A | 1.048 | 3.738 | 1.081 | 0.537 | 0.265 | 0.000 | 0.000 | 25.786 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 226 | 226 | 260 | 480 | 3562 | 647 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.15 | 2.12 | 15.76 | 2.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.923 | 1.388 | 1.101 | 0.661 | 0.366 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 183 | 183 | 202 | 418 | 2124 | 597 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.10 | 2.28 | 11.61 | 3.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.647 | 1.535 | 1.130 | 0.592 | 0.349 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 133 | 133 | 170 | 275 | 968 | 501 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.28 | 2.07 | 7.28 | 3.77 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.451 | 1.186 | 1.067 | 0.515 | 0.319 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 135 | 123 | 276 | 580 | 498 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.91 | 2.04 | 4.30 | 3.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.481 | 1.152 | 0.929 | 0.508 | 0.335 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 136 | 136 | 124 | 272 | 373 | 338 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.91 | 2.00 | 2.74 | 2.49 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.387 | 1.117 | 0.879 | 0.461 | 0.281 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 181 | 181 | 141 | 296 | 462 | 372 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.78 | 1.64 | 2.55 | 2.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.605 | 1.755 | 0.963 | 0.505 | 0.279 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 224 | 224 | 154 | 358 | 730 | 406 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 1.60 | 3.26 | 1.81 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.841 | 3.438 | 1.013 | 0.512 | 0.279 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 188 | 188 | 427 | 557 | 20656 | 623 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.27 | 2.96 | 109.87 | 3.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.714 | 2.188 | 1.185 | 1.308 | 0.315 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | B | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 145 | 145 | 354 | 427 | 3153 | 609 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.44 | 2.94 | 21.74 | 4.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.503 | 2.323 | 1.149 | 0.544 | 0.305 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 152 | 152 | 383 | 318 | 22898 | 426 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.52 | 2.09 | 150.64 | 2.80 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.435 | 1.987 | 1.041 | 1.110 | 0.271 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 201 | 201 | 170 | 419 | 34992 | 456 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.85 | 2.08 | 174.09 | 2.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.635 | 3.264 | 1.035 | 0.899 | 0.287 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 248 | 248 | 180 | 466 | 0 | 488 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 1.88 | 0.00 | 1.97 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.918 | 2.018 | 1.075 | 0.000 | 0.278 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 237 | 237 | 603 | 932 | 93381 | 755 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.54 | 3.93 | 394.01 | 3.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.929 | 5.730 | 1.254 | 17.668 | 0.334 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | B | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 192 | 192 | 570 | 554 | 7863 | 745 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.97 | 2.89 | 40.95 | 3.88 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.722 | 6.966 | 1.239 | 0.991 | 0.329 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 154 | 154 | 526 | 419 | 87381 | 502 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.42 | 2.72 | 567.41 | 3.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.459 | 6.896 | 1.033 | 16.157 | 0.283 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 479 | 364 | 261332 | 520 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.41 | 1.83 | 1313.23 | 2.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.665 | 6.771 | 1.049 | 3.589 | 0.279 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 246 | 246 | 188 | 619 | 151873 | 552 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 2.52 | 617.37 | 2.24 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.866 | 1.663 | 1.074 | 3.549 | 0.289 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 295 | 295 | 185 | 565 | 496751 | 584 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.63 | 1.92 | 1683.90 | 1.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.157 | 1.817 | 1.125 | 8.156 | 0.279 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 434 | 434 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.865 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 384 | 384 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.647 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 396 | 396 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.612 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 457 | 457 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.667 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 815 | 815 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.236 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | No | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 774 | 774 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.020 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |